厳密な2PL strict 2PL